[IA64] fix a vhpi bug

Signed-off-by: Anthony Xu <anthony.xu@intel.com>

diff --git a/xen/arch/ia64/vmx/vlsapic.c b/xen/arch/ia64/vmx/vlsapic.c
index 0bc909f1270d8d28077b04bbadbe9a8324152671..e37ed4e5324a31ac97746d6693275d14bd876700 100644 (file)
--- a/xen/arch/ia64/vmx/vlsapic.c
+++ b/xen/arch/ia64/vmx/vlsapic.c
@@ -298,7 +298,7 @@ static void update_vhpi(VCPU *vcpu, int vec)
     // TODO: Add support for XENO
     if ( VCPU(vcpu,vac).a_int ) {
         ia64_call_vsa ( PAL_VPS_SET_PENDING_INTERRUPT, 
-                (uint64_t) &(vcpu->arch.privregs), 0, 0,0,0,0,0);
+                (uint64_t)vcpu->arch.privregs, 0, 0, 0, 0, 0, 0);
     }
 }
 
@@ -683,9 +683,5 @@ void vhpi_detection(VCPU *vcpu)
 
 void vmx_vexirq(VCPU *vcpu)
 {
-    static  uint64_t  vexirq_count=0;
-
-    vexirq_count ++;
-    printk("Virtual ex-irq %ld\n", vexirq_count);
     generate_exirq (vcpu);
 }